Free shipping on all orders! No minimum purchase required.
Logical Foundations of Computer Science
by Sergei N. Artemov (Editor), Anil Nerode (Editor)
